Complete theory

Results: 1780



#Item
971Structure / Adjoint functors / Sheaf / Functor / Filter / Complete Heyting algebra / Continuous function / Metric space / Cartesian closed category / Mathematics / Topology / Order theory

Theory and Applications of Categories, Vol. 28, No. 3, 2013, pp. 66–122. DUALITY FOR DISTRIBUTIVE SPACES DIRK HOFMANN Abstract. The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J.

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2013-01-28 11:57:00
972NP-complete problems / Logic in computer science / Complexity classes / Boolean algebra / 2-satisfiability / Boolean satisfiability problem / Conjunctive normal form / Outerplanar graph / Planar graph / Theoretical computer science / Graph theory / Computational complexity theory

Computational Complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas Inaugural-Dissertation zur Erlangung des Doktorgrades

Add to Reading List

Source URL: kups.ub.uni-koeln.de

Language: English - Date: 2011-03-28 06:57:24
973Econometrics / Linear regression / Empirical Bayes method / Logistic regression / Least squares / Maximum likelihood / Expectation–maximization algorithm / Supervised learning / Book:Machine Learning - The Complete Guide / Statistics / Regression analysis / Estimation theory

Empirical Bayes Estimates of Parameters from the Logistic Regression Model

Add to Reading List

Source URL: act.org

Language: English - Date: 2015-01-06 13:08:28
974Algebraic structures / Category theory / Order theory / Boolean algebra / Topology / Gelfand representation / Equivalence of categories / Complete Heyting algebra / C*-algebra / Abstract algebra / Mathematics / Algebra

Theory and Applications of Categories, Vol. 29, No. 17, 2014, pp. 457–474. EXTENDING OBSTRUCTIONS TO NONCOMMUTATIVE FUNCTORIAL SPECTRA BENNO VAN DEN BERG AND CHRIS HEUNEN Abstract. Any functor from the category of C*-

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2014-08-14 09:50:00
975Complexity classes / NP-complete problems / Mathematical optimization / Structural complexity theory / NP-complete / NP-hard / P versus NP problem / NP / Vertex cover / Theoretical computer science / Computational complexity theory / Applied mathematics

Measuring Rationality with the Minimum Cost of Revealed Preference Violations Mark Dean and Daniel Martin Online Appendices - Not for Publication

Add to Reading List

Source URL: www.econ.brown.edu

Language: English - Date: 2013-06-19 07:39:31
976Order theory / Sheaf theory / Functor / Adjoint functors / Initial and terminal objects / Grothendieck topology / Natural transformation / Sheaf / Complete Heyting algebra / Mathematics / Category theory / Abstract algebra

Theory and Applications of Categories, Vol. 27, No. 12, 2013, pp. 242–262. LAWVERE COMPLETENESS AS A TOPOLOGICAL PROPERTY SERDAR SOZUBEK Abstract. Lawvere’s notion of completeness for quantale-enriched categories ha

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2013-01-24 13:03:00
977NP-complete problems / Cubes / Hypercube / Parallel computing / Shortest path problem / Heuristic / Graph partition / Algorithm / Mathematics / Theoretical computer science / Computational complexity theory

An E cient Mean Field Annealing Formulation for Mapping Unstructured? Domains to Hypercubes Cevdet Aykanat and I_smail Haritaoglu Computer Engineering Department, Bilkent University, Ankara, Turkey [removed]

Add to Reading List

Source URL: www.cs.bilkent.edu.tr

Language: English - Date: 2006-07-06 10:53:25
978Mathematics / Logic in computer science / Differential geometry / Programming language semantics / Algebraic geometry / Field theory / Valuation

Complete Monitors for Behavioral Contracts⋆ Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen Northeastern University, Boston, Massachusetts, USA {chrdimo,samth,matthias}@ccs.neu.edu Abstract. A behaviora

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-01-16 15:37:27
979NP-complete problems / Graph partition / Graph / Connected component / Graph coloring / Edge coloring / Graph theory / Theoretical computer science / Mathematics

GPS: A Graph Processing System⇤ Semih Salihoglu and Jennifer Widom Stanford University {semih,widom}@cs.stanford.edu Abstract

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2013-06-18 18:35:13
980Graph coloring / NP-complete problems / Chromatic polynomial / Polynomials / Directed acyclic graph / Directed graph / Graph / Tutte polynomial / Covering graph / Graph theory / Mathematics / Theoretical computer science

0 DISCRETli MATHEMATICS5[removed]North-Holland Publishing Company ACYCLIC ORIENTATIONS OF GRAPHS* Richard P. STANLEY Departmentof Mathematics,Universityof California,

Add to Reading List

Source URL: www-math.mit.edu

Language: English - Date: 2007-08-09 20:43:14
UPDATE